Category Theory for Programmers
Category Theory for Programmers
by Bartosz Milewski
言うならプログラマーのための圏論
original articles
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
as videos
Category Theory
https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
1.1--10.2
Category Theory II
https://www.youtube.com/watch?v=3XTQSx1A3x8&index=1&list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
1.1--9.2
Category Theory III
https://www.youtube.com/watch?v=F5uEpKwHqdk&list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL
1.1--7.2
as a book
表紙
https://gyazo.com/2dc98f0cabbd733cdc356cb8c493c41d
余白をカット
本文
https://github.com/hmemcpy/milewski-ctfp-pdf
quotes
category theory is a theory of composition
OOP hides a bad part, state, makes concurrency difficult (video 1.1)
functional programming makes concurrency composable